2041. Truthlikeness
پدیدآورنده : by Ilkka Niiniluoto.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
2042. Twelve papers in logic and algebra
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Algebra-- Addresses, essays, lectures
رده :
QA
3
.
A572
ser
.
2
vol
.
113
2043. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
1978
2044. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
2045. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Marc Bezem, Jan Friso Groote.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.
2046. Ultralogic as universal? :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ;
2047. Uncertain inference
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Uncertainty (Information theory) ; Probabilities. ; Logic, Symbolic and mathematical. ;
2048. Uncertain inference
پدیدآورنده : / Henry E. Kyburg, Jr. and Choh Man Teng
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Uncertainty (Information theory),Probabilities,Logic, Symbolic and mathematical
رده :
Q375
.
K93
2001
2049. Uncertain inference
پدیدآورنده : / Henry E. Kyburg, Jr. and Choh Man Teng
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Uncertainty (Information theory),Probabilities,Logic, Symbolic and mathematical
رده :
Q375
.
K93
2001
2050. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach
پدیدآورنده : by Bilal M. Ayyub, Madan M. Gupta.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.
2051. Uncertainty-Based Information
پدیدآورنده : by George J. Klir, Mark J. Wierman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Operations research.
2052. Undecidable theories
پدیدآورنده : / by Alfred Tarski
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Metamathematics,Logic, Symbolic and mathematical
رده :
E-BOOK
2053. Understanding Wittgenstein's Tractatus
پدیدآورنده : Frascolla, Pasquale, 2591-
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : Tractatus logico-philosophicus ، Wittgenstein, Ludwig,9881-1591,، Logic, Symbolic and mathematical.,Philosophy ، Language and languages,، Metaphysics,91th Century ، Philosophy, Austrian
رده :
B
3376
.
W563T7
2006
2054. Understanding Wittgenstein's Tractatus
پدیدآورنده : Frascolla, Pasquale
کتابخانه: Special Library of University of Religions (Qom)
موضوع : ، Wittgenstein, Ludwig,9881-1591.Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,، Metaphysics
رده :
B
3376
.
W563
.
T7332
2007
2055. Understanding mathematical proof /
پدیدآورنده : John Taylor, Rowan Garnier
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Proof theory
2056. Understanding symbolic logic
پدیدآورنده : Virginia Klenk
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Logic, Symbolic and mathematical
رده :
BC
،
135
،.
K53
،
1989
2057. Understanding symbolic logic
پدیدآورنده : / Virginia Klenk
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical
رده :
BC135
.
K53
2058. Visualization, Explanation and Reasoning Styles in Mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics. ; Science ; Philosophy. ; Visualization. ; Mathematics_$xHistory. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematics, general. ; Visualization. ; History of Mathematics. ; Mathematical Logic and Foundations. ; Philosophy of Scie
2059. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Library of Mofid University (Qom)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA8
.
6
.
V57
2005
2060. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
